Transformations amongst the Walsh, Haar, Arithmetic and Reed-Muller Spectral Domains
نویسندگان
چکیده
Direct transformation amongst the Walsh, Haar, Arithmetic and Reed-Muller spectral domains is considered. Matrix based techniques are developed and it is shown that these can be implemented as fast in-place transforms. It is also shown that these transforms can be implemented directly on decision diagram representations.
منابع مشابه
Relationship between Haar and Reed-Muller spectral and functional domains
In this article, mutual relations between Haar and ReedMuller spectral and functional domains are presented. The new relations apply to any size of the transform matrices in the form of layered vertical and horizontal Kronecker matrices. They allow the direct conversions between Haar and Reed-Muller functions and their corresponding spectra.
متن کاملEfficient Calculation of the Reed-muller Form by Means of the Walsh Transform
The paper describes a spectral method for combinational logic synthesis using the Walsh transform and the Reed-Muller form. A new algorithm is presented that allows us to obtain the mixed polarity Reed-Muller expansion of Boolean functions. The most popular minimisation (sub-minimisation) criterion of the Reed-Muller form is obtained by the exhaustive search of all the polarity vectors. This pa...
متن کاملFast Reed-muller Spectrum Computation Using Output Probabilities
| This paper presents a new methodology for the computation of the Reed-Muller spectral co-eecients of a function of any xed polarity using its OBDD representation. By using past results that allow the computations to be performed using real arithmetic , an eecient technique may be developed in the real domain with the resulting coeecients obtained by using a simple mapping relation to the GF(2...
متن کاملApplications of Multi-Terminal Binary Decision Diagrams
Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits. MTBDDs and BMDs have been proposed for representing this class of functions. We discuss the relationship between these methods and describe a generalization called hybrid decision diagrams which is often much more concise. The Walsh transform and Reed-Muller transform have ...
متن کاملQMDD and Spectral Transformation of Binary and Multiple-Valued Functions*
The use of decision diagrams (DD) for the computation and representation of binary function spectra has been well studied [2,3,5]. Computations and representation of spectra for multiplevalued logic (MVL) functions have also been considered [6]. For binary functions, this approach can be implemented using one of a number of the highly efficient publicly available binary decision diagram (BDD) p...
متن کامل